$\forall$$k$:$\mathbb{N}$, $A$:((:($\mathbb{N}\rightarrow\mathbb{Q}$) $\times$ $\mathbb{Z}$) List). Dec($\exists$$y$:$\mathbb{Q}$ List. q{-}constraints($k$;$A$;$y$))